Nuprl Definition : fpf-const
0,22
postcript
pdf
L
fpf
v
== <
L
,
x
.
v
>
latex
FDL editor aliases
fpf-const
origin
fpf
v == <L,
x.v> fpf v == <L,x.v>